home *** CD-ROM | disk | FTP | other *** search
/ Whiteline: delta / whiteline CD Series - delta.iso / tex / style / misc / qed.sty / qed_mn.html < prev   
Text File  |  1995-11-25  |  4KB  |  86 lines
  1.  
  2.  
  3. <P>
  4. <P>
  5.  
  6.  
  7. <P>
  8. ProofendProof
  9.  
  10. <P>
  11.  
  12.  
  13. <P>
  14.  
  15. @style
  16.    <tex2html_comment_mark>118
  17.  
  18.    <tex2html_comment_mark>120
  19.  
  20.    <tex2html_comment_mark>122
  21.  
  22.    <tex2html_comment_mark>125
  23.  
  24.  
  25. <P>
  26. @qedqedfalse
  27.  
  28.  
  29. <P>
  30. @thmthm <tex2html_comment_mark>236
  31. @endthmendtheorem
  32.  
  33. <P>
  34. ;SPMgt;1993 =<#298#>Anonymous FTP theory.doc.ic.ac.uk /tex/contrib/Taylor/tex/QED.sty<#298#><#299#>You have an obsolete version of QED.sty - please get a new one<#299#>
  35.  
  36. <P>
  37. @style
  38.    
  39.    
  40.       @style
  41.           
  42.       @style
  43.           check@pt@fm@thm
  44.       =<#300#>The macros thm and endtheorem need to be re-defined.<#300#><#301#>QED.sty must be loaded AFTER theorem.sty but before
  45.            using \newtheorem <#301#>
  46.       check@pt@fm@thm
  47.       
  48.       =<#302#>The macros thm and endtheorem need to be re-defined.<#302#><#303#>QED.sty must be loaded AFTER theorem.sty but before
  49.            using \newtheorem <#303#>
  50.       check@pt@fm@thm
  51.       
  52.  
  53. <P>
  54. &xcirc#bigcirc;
  55.       =<#304#>Anonymous ftp e-math.ams.com /ams/amsfonts<#304#><#305#>\bigcirc
  56.       =<#306#>Anonymous ftp e-math.ams.com /ams/amsfonts<#306#><#307#>\csname square is an AMS symbol<#307#>square&xcirc#bigcirc; is an AMS symbol<#305#>square&xcirc#bigcirc;
  57.    
  58.  
  59. <P>
  60. ds@theorems-as-commands<I><#308#><#308#>#1<#309#></I>
  61. <P></P>
  62. <I>     
  63.    @begintheorem
  64.    =<#317#>Anonymous FTP theory.doc.ic.ac.uk /tex/contrib/Taylor/tex/Paul.sty<#317#><#318#>You have an obsolete version of Paul.sty - please get a new one<#318#>
  65.    
  66.         #1<#313#><#313#>@gr@m
  67.         <#314#>=<#319#>Anonymous FTP theory.doc.ic.ac.uk /tex/contrib/Taylor/tex/diagrams.tex<#319#><#320#>You have an obsolete version of diagrams.tex - please get a new one<#320#>@gr@m<#314#>
  68.    check@pt@sty@v
  69. @ifqed@qedqedtrue<#315#>##1<#315#><I></I><#309#>endtheorem<#310#>qed<#321#><tex2html_verbatim_mark>#math342#<tex2html_image_mark>#tex2html_wrap_inline457#⇧ <tex2html_image_mark>#tex2html_wrap_inline458#⇧ = <I>Anonymousftpe</I>-<I>math</I>.<I>ams</I>.<I>com</I>/<I>ams</I>/<I>amsfonts</I><tex2html_image_mark>#tex2html_wrap_inline459#⇧\<I>csnamesquare</I><tex2html_image_mark>#tex2html_wrap_inline460#⇧ <I>isanAMSsymbol</I><tex2html_image_mark>#tex2html_wrap_inline461#⇧<tex2html_image_mark>#tex2html_wrap_inline462#⇧<I>square</I><tex2html_image_mark>#tex2html_wrap_inline463#⇧ <tex2html_image_mark>#tex2html_wrap_inline464#⇧<#321#>@qed@ifqed<#310#>
  70. </I>
  71. <P>
  72. <I><I><#324#><#324#>#1<#325#></I></I>
  73. <P></P>
  74. <I><I>     
  75.    @begintheorem
  76.    =<#333#>Anonymous FTP theory.doc.ic.ac.uk /tex/contrib/Taylor/tex/Paul.sty<#333#><#334#>You have an obsolete version of Paul.sty - please get a new one<#334#>
  77.    
  78.         #1<#329#><#329#>@gr@m
  79.         <#330#>=<#335#>Anonymous FTP theory.doc.ic.ac.uk /tex/contrib/Taylor/tex/diagrams.tex<#335#><#336#>You have an obsolete version of diagrams.tex - please get a new one<#336#>@gr@m<#330#>
  80.    check@pt@sty@v
  81. @ifqed@qedqedtrue<#331#>##1<#331#><I></I><#325#>endtheorem<#326#>qed<#337#><tex2html_verbatim_mark>#math343#<tex2html_image_mark>#tex2html_wrap_inline466#⇧ <tex2html_image_mark>#tex2html_wrap_inline467#⇧ = <I>Anonymousftpe</I>-<I>math</I>.<I>ams</I>.<I>com</I>/<I>ams</I>/<I>amsfonts</I><tex2html_image_mark>#tex2html_wrap_inline468#⇧\<I>csnamesquare</I><tex2html_image_mark>#tex2html_wrap_inline469#⇧ <I>isanAMSsymbol</I><tex2html_image_mark>#tex2html_wrap_inline470#⇧<tex2html_image_mark>#tex2html_wrap_inline471#⇧<I>square</I><tex2html_image_mark>#tex2html_wrap_inline472#⇧ <tex2html_image_mark>#tex2html_wrap_inline473#⇧<#337#>@qed@ifqed<#326#>
  82. </I></I>
  83. <P>
  84. <I><I>@thm
  85.      addtoreset<#60#>Result<#60#><#61#>section<#61#><tex2html_comment_mark>341
  86. </I></I>